Sokoban Solver Statistics - Sokolution 5.1 - Sven Egevad Sharpen

Date: 2023-06-05

Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None?   FloorsBoxesLower BoundBP
Solved levels 12302519260468895 of 153 4346 Total1876152961021017456
 
 
Sokoban Solver Statistics - Sokolution 5.1 10 minutes - Sven Egevad Sharpen
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
1 163645252  ✓    19 16 156 21 374 406
2      ✕    19 16 190 65 1 81
3 2407410  ✓  ✓   11 11 81 32 72 72
4 32176   ✓    11 11 81 32 36 64
5 32267   ✓  ✓   11 12 65 23 1 29
6 35094356  ✓    13 12 100 36 5 37
7 126312650  ✓    13 15 119 46 32 42
8      ✕    13 13 109 36 52 70
9 30064   ✓    13 13 105 28 44 54
10      ✕    17 15 190 76 14 72
11 1190216350  ✓    14 14 143 58 24 42
12 1990154225  ✓    14 14 102 19 18 78
13      ✕    12 16 108 24 140 168
14 839961  ✓    13 13 109 37 28 48
15 99594   ✓    13 13 108 36 28 44
16 10751421  ✓    13 13 108 36 28 48
17 13871621  ✓    13 13 98 26 28 48
18 10931207  ✓    13 13 98 26 28 48
19 11851841  ✓    13 13 108 36 40 66
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
20 60896   ✓  ✓   13 11 64 10 14 36
21 19247   ✓  ✓   9 10 49 14 5 19
22 1013160   ✓    11 11 81 28 40 50
23      ✕    16 16 156 60 72 86
24 11929   ✓  ✓   9 9 32 4 5 13
25      ✕ 
  ✓ Festival 3.1
  19 16 188 40 740 756
26 673469  ✓    14 11 95 33 20 36
27 71978   ✓  ✓   9 11 51 16 6 14
28 33042   ✓    11 11 68 17 34 34
29 29842   ✓  ✓   17 9 89 26 8 28
30 783764  ✓    17 17 179 52 16 40
31 1030106175  ✓    17 17 179 52 16 48
32 39154   ✓  ✓   11 9 53 15 14 24
33 22148   ✓  ✓   10 11 41 8 10 24
34 30760   ✓  ✓   11 8 45 14 14 16
35      ✕    17 18 209 80 7 136
36      ✕    17 18 209 80 7 138
37      ✕    17 18 209 81 9 146
38      ✕    19 17 239 88 4 113
39      ✕    19 17 239 89 5 118
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
40      ✕    19 17 228 77 4 121
41      ✕    19 17 216 70 4 121
42      ✕    ✓ 19 17 215 83 82 100
43      ✕ 
  ✓ Festival 3.1
  19 17 215 84 82 106
44      ✕    ✓ 19 17 215 85 82 108
45      ✕ 
  ✓ Festival 3.0
  19 17 215 86 84 160
46      ✕ 
  ✓ Festival 3.1
  19 17 213 84 84 160
47 12791143  ✓    11 13 75 25 28 42
48 121710839  ✓    11 13 75 26 26 46
49 17753127  ✓    13 13 97 33 32 44
50 541596644  ✓    13 13 97 34 36 42
51 1346208121  ✓    13 13 89 26 26 66
52      ✕    17 17 222 93 1 56
53      ✕    17 17 221 93 1 74
54 5840960202  ✓    17 17 173 43 24 60
55      ✕    ✓ 23 23 407 162 1 168
56      ✕    19 19 258 81 64 190
57      ✕    19 19 258 85 56 164
58      ✕    19 18 230 76 56 164
59 14011621  ✓    13 15 96 26 22 38
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
60      ✕    19 19 143 36 36 52
61      ✕    19 19 156 52 44 100
62      ✕    ✓ 19 19 152 48 60 132
63 5651301  ✓    17 9 82 28 34 54
64 12736   ✓  ✓   15 9 70 27 8 36
65 74714616  ✓    11 16 82 27 32 54
66 464826  ✓  ✓   9 13 62 18 8 36
67 23236   ✓  ✓   12 8 37 9 4 16
68      ✕    16 16 123 23 113 303
69 24332   ✓  ✓   14 14 76 12 20 32
70 53280   ✓  ✓   12 12 74 18 14 20
71 17438   ✓  ✓   9 13 64 18 12 32
72 370841  ✓  ✓   19 9 61 14 18 56
73 929963  ✓    11 17 106 26 10 54
74 12988696198  ✓    19 17 184 56 20 62
75 3613252571  ✓    19 17 184 56 26 66
76 1640168   ✓    19 17 130 20 20 58
77 248427223  ✓    17 16 145 39 28 72
78 698132   ✓    19 11 115 28 42 80
79      ✕    15 11 96 28 66 80
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
80      ✕    15 11 95 27 59 85
81 67886   ✓    11 11 71 22 32 34
82 28048   ✓  ✓   9 15 85 32 30 32
83 387601  ✓    9 15 77 26 34 42
84 16844   ✓  ✓   13 13 64 16 16 44
85 798190369  ✓    15 15 120 36 64 86
86      ✕    14 13 113 34 24 122
87      ✕    15 13 112 26 141 167
88 39472   ✓  ✓   13 10 70 15 22 30
89      ✕    13 15 107 21 94 124
90      ✕    13 15 115 30 77 131
91      ✕    13 15 111 24 97 133
92 11881442  ✓    17 17 122 14 60 134
93      ✕    13 13 98 29 28 88
94 809227   ✓  ✓   13 13 56 14 9 45
95 8114   ✓  ✓   11 11 45 8 12 14
96 50078   ✓  ✓   11 17 91 23 8 26
97      ✕    19 17 176 46 32 66
98 619108312  ✓    17 17 118 22 38 66
99 14724166  ✓    18 13 108 18 294 378
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
100 14344035  ✓  ✓   18 13 105 17 293 371
101 70514228  ✓    13 13 93 24 28 66
102 3352131913  ✓    19 17 206 46 973 1041
103      ✕    19 17 206 45 941 1287
104 3625134182  ✓    19 17 206 46 971 1273
105      ✕    19 17 139 29 44 102
106      ✕    19 17 139 30 44 132
107      ✕    19 17 139 32 53 145
108 56492   ✓  ✓   15 9 57 11 10 40
109 42656   ✓  ✓   13 14 75 9 30 44
110      ✕    12 13 83 19 221 227
111 67898   ✓  ✓   19 9 75 15 2 54
112      ✕    19 15 142 30 4 74
113 2146398227  ✓    19 15 147 33 8 64
114 2098424155  ✓    19 15 146 32 8 64
115      ✕    19 15 142 30 22 96
116 2031470324  ✓    19 15 142 30 20 90
117 1429354349  ✓    19 15 142 31 22 102
118 163634265  ✓    13 13 87 22 20 70
119 1230228134  ✓    17 13 123 34 40 88
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
120      ✕    17 13 116 27 40 100
121      ✕    19 12 126 30 28 74
122      ✕    19 12 126 31 30 84
123      ✕    19 12 126 31 31 81
124 38668   ✓  ✓   19 11 97 18 40 68
125 10031288  ✓  ✓   13 11 63 14 40 66
126 26339   ✓  ✓   15 11 81 11 11 27
127 941129   ✓  ✓   15 11 81 11 15 37
128      ✕    19 17 183 48 110 200
129      ✕    19 17 179 48 110 220
130 21540   ✓  ✓   15 11 65 10 14 32
131 28437   ✓  ✓   15 10 64 9 11 27
132 34140   ✓  ✓   10 12 55 10 14 24
133 9920   ✓  ✓   11 13 66 12 4 18
134 887112129  ✓  ✓   17 13 108 23 34 62
135      ✕    17 17 143 28 48 108
136      ✕    19 13 117 22 40 90
137 966178   ✓  ✓   17 13 103 18 36 68
138 4011   ✓  ✓   7 8 18 4 5 11
139 7063834155  ✓    15 9 78 22 26 64
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
140 199834117  ✓  ✓   13 13 71 19 11 47
141 1423193   ✓  ✓   13 12 62 15 13 49
142 1504206   ✓  ✓   13 12 62 15 12 46
143      ✕    19 17 149 18 62 104
144      ✕    19 15 139 29 167 217
145      ✕    19 17 179 43 202 324
146 337844472  ✓    19 11 108 19 50 70
147      ✕    ✓ 19 16 176 58 229 371
148      ✕    17 11 99 24 36 82
149 118523217  ✓  ✓   13 13 73 14 30 70
150 196924285  ✓    15 13 96 22 150 170
151 11832085  ✓    18 17 128 21 138 170
152 1061148   ✓  ✓   17 9 81 20 38 44
153      ✕    ✓ 19 17 185 49 11 137
Solved levels 12302519260468895 of 153 4346 Total1876152961021017456
Solver Sokolution
Version 5.1
Author Florent Diedler
Time limit 10 minutes
Solver settings Default settings, except RAM: 36 GiB
Computer processor (CPU) Intel(R) Core(TM) i7-10700

Sokoban Solver Statistics Contact Sokoban Wiki LogoProgramming and Design: Brian Damgaard, Denmark

Large Test Suite Open Test Suite XSokoban Test Suite